1. Abstraction refinement for large scale model checking
Author: / Chao Wang, Gary D. Hachtel, Fabio Somenzi
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model
Classification :
QA
76
.
76
.
V47W36
2006
